digraph graph_42_03
{
	node_42_03_1
	[
		fixedsize = true
	]
}
